-- Test missing comma
    DEF def(X:nat Y:nat):nat == 0  	--missing ,
    DEF MAIN:bool == true
